ETH Zurich - PDFSEARCH.IO - Document Search Engine

ETH Zurich
Results: 3349

#	Item
21	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-07-10 02:11:19 Internet architecture Computing Network architecture Routing Information and communications technology Computer networking Internet protocols Traceroute Hop Network topology Forwarding plane Computer network
22	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-06-23 06:55:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
23	Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2016-06-04 11:31:07 Data types Computing Theoretical computer science Software engineering Heap Tree Separation logic Variable Parse tree Logic programming Linked list
24	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich Add to Reading List Source URL: vanbever.eu Language: English Internet architecture Computing Network architecture Routing Information and communications technology Computer networking Internet protocols Traceroute Hop Network topology Forwarding plane Computer network
25	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: stroboscope.ethz.ch Language: English - Date: 2017-01-10 12:58:12 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
26	Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-09-17 09:36:15 Data transmission Computing Computer networking Network performance Internet protocols Information and communications technology QUIC Round-trip delay time Transmission Control Protocol Packet loss Transport layer Latency
27	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: cloudbroker.com Language: English - Date: 2011-09-20 05:40:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
28	PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Async/await Control flow Stan Symposium on Principles of Programming Languages Phog Machine learning Futures and promises PL Probability and statistics Computing Software engineering
29	Short Paper: On Deployment of DNS-based Security Enhancements Pawel Szalachowski and Adrian Perrig ETH Zurich, Switzerland Abstract. Although the Domain Name System (DNS) was designed as a naming Add to Reading List Source URL: www.netsec.ethz.ch Language: English Domain name system Internet Cryptography Computing Domain Name System Security Extensions Sender Policy Framework DNS-based Authentication of Named Entities DMARC Name server Extension mechanisms for DNS DNS root zone Email authentication
30	Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan ETH Zurich Yuri Meshman Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Concurrency control Edsger W. Dijkstra Flag Vexillology Mutual exclusion Computer programming Critical section Thread Computing Software engineering Peterson's algorithm Lamport's bakery algorithm